Elliptic PDE learning is provably data-efficient