Prisms and prismatic cohomology