Using activity systems analysis to identify inner contradictions in teacher professional development · Study