How do option traders use theta to manage time decay and the impact of time on an option's price?