Dept. of Workforce Development: BLS data: Wisconsin’s labor force, total employment reach record highs in June