Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers