Coherence of Tricategories