Stephen Hawking sings Monty Python's 'Galaxy Song'