Labour productivity and human capital in the European maritime sector of the eighteenth century