Baptisms that used a modified formula are invalid, Vatican says