A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties