1698年7月2日頒發了一項用來進行礦井抽水的蒸汽泵的專利，這是誰獲得的？