Text this: Notation of Javanese Gamelan dataset for traditional music applications