invented by denis papin in 1679