Coherence for compact closed categories