Learning Transformer Programs