After the Battle of Saratoga, which European country formally allied with the American colonies?