Google switches to memory-safe programming languages for Android