Japan July overtime pay rises 3.1% year-on-year: government