Here are five key features from Android Pie, which was released today.