Effective and Efficient Transformer Models for Sequential Recommendation | Synapse