Error bounds for FDD massive MIMO channel covariance conversion with set-theoretic methods