Mickelson likely pays less taxes than he thinks