The engine powering Empty Orchestra, a karaoke catalog app