Factcheck: BP is right, a 25% gas export tax "would significantly increase total government revenue"