Partial resection of large congenital left ventricular diverticulum in an infant: a case report