5.6 million fingerprints stolen in U.S. personnel data hack: government