Developing Geometry Proofs with Geometry Expressions