AI in the Public Sector: Where Does the Industry Stand?