Malaysia’s May industrial output picks up pace, exceeds forecast