Which battle convinced France to formally ally with the colonists during the American Revolution?