An efficient and robust approach to Mendelian randomization with measured pleiotropic effects in a high-dimensional setting. (6th November 2020)