John Taylor — British civil engineer and mining engineer