Nerve agent was used to kill North Korean leader's half brother, police say