Gravatt, William, FRS, civil engineer