Stochastic Optimal Motion Planning for the Attitude Kinematics of a Rigid Body With Non-Gaussian Uncertainties