the mujahid imam muhammad al mahdi bin ali al senussi his biography