Ambrosio-Tortorelli approximation of quasi-static evolution of brittle fractures