Japan’s quarterly GDP shrinks for first time in a year