Electronic social insurance books to be rolled out from July 1