Japan first-quarter GDP revised up, boosted by leap year gain