Finite Element Approximation for Optimal Shape Design: Theory and Applications