North Korea launches intermediate-range ballistic missile over Japan