The iPad mini in 2022 – is it still worth it?