Towards a Constructive Simplicial Model of Univalent Foundations