p-adic motivic cohomology in arithmetic