Cubical Models of (∞, 1)-Categories