Protective puts: How to hedge a portfolio with options