First post-Android 13 update to Galaxy A72 brings January 2023 security patch