Theory and practice in air-pump construction: the cooperation between Willem Jacob's gravesande and Jan van Musschenbroek