A channel estimation framework for high-mobility FDD massive MIMO using partial reciprocity