Observational trees as models for concurrency