GPC: A Pattern Calculus for Property Graphs