Balloon mitral valvulotomy in children aged < or = 12 years.