An analysis of Texas law on deducting post-production costs from royalties: Did BlueStone move the needle?