North Korean army launches ballistic missile that flew over Japan