Efficient Monte Carlo Methods for Value-at-Risk