How to Redirect a Domain to HTTPS Using a Virtual Host?