The Symbolic Music Representation of Traditional Korean Music