Utilisation of malaria prophylaxis: The effect of changes in guidelines in the Netherlands, 1993-1998