The p-adic monodromy theorem