Trading options as a professional by jim bittman