Technology and productivity change in the Jamaican sugar industry, 1760-1830