Musharraf trial formally set in motion