Michael Topping — British astronomer