3 things Android’s keyboard needs to fix