Data-driven Power Flow Linearization: Theory