iPhone 15 vs iPhone 13 mini: is it time to drop the mini? - PhoneArena