Changes in the provision of post-exposure prophylaxis for HIV after sexual exposure following introduction of guidelines and publicity campaigns