K-pop album exports hit record high in H1, 2023