Public law and government procurement