Efficient Simulation of Buffer Overflow Probabilities in Queueing Networks