Lightweight Transformers for Human Activity Recognition on Mobile Devices