BehaVERT: A Transformer-Based Motion Language Model for Decoding Behavioral Semantics in Mice | Synapse