how long did the revolutionary war last