Randomly coloring planar graphs with fewer colors than the maximum degree