Posets with interfaces as a model for concurrency