Arsenal are weighing up a summer swoop for Bayern Munich centre-back Mehdi Benatia as they look to strengthen their pool of defensive options.