Branch and bound algorithms to determine minimal evolutionary trees