Section on STM in choosing concurrency model