What is the name of the biographer and one-time student of this British physicist and mathematician who discovered the Taylor–Proudman theorem along with Joseph Proudman?