Mechanism of proteolysis of anthrax lethal factor. An ab initio and hybrid QM/MM molecular dynamics study