Recent Applications of $p$-adic Methods to Commutative Algebra