Constraining Formation Models of Binary Black Holes with Gravitational-wave Observations