Growth of two species of tiger prawn, Penaeus esculentus and P. semisulcatus, in the western Gulf of Carpentaria