North Korea launches ballistic missile over Japan