The work practices of marine pilots: a review