An Android app for singing