Sound Statistical Model Checking for Probabilities and Expected Rewards