Canonicity for Cubical Type Theory