Thomas Henry Bailey — British civil and mining engineer