Science, technology, and economic growth in the eighteenth century