Two hormonal protocols for timed artificial insemination in mares under different residence times of the progesterone intravaginal device