An open-source on-device voice IME (keyboard) for Android using the Vosk library