Optimal control for despin of underactuated tumbling satellites