Text this: Maximizing Tax Revenue for Profit Maximizing Monopolist with the Cobb-Douglas Production Function and Linear Demand as a Bilevel Programming Problem