Microsoft updates OneNote for Android and iOS, adds rich formatting