Gradient flow dynamics of two-phase biomembranes: Sharp interface variational formulation and finite element approximation