p-adic approaches to the Langlands program