The sale of tobacco products in vending machines located in or around any Federal building under the jurisdiction of the Secretary of the Treasury is prohibited, except in areas designated pursuant to § 12.5 of this part.