Efficient Wireless Network Simulations with Detailed Propagation Models