p-adic Hodge theory for local systems