Mechanical and optical analysis of Giotto HMC mirrors by finite element models