A multi-dimensional transformer encoder framework for modeling fine-grained student programming behavior | Synapse