Synchronization Algebras with Mobility for Graph Transformations