Image-Subtraction Photometry of Variable Stars in the Globular Clusters Ngc 6388 and Ngc 6441