Universal Lossless Source Coding Based on Sequential Grammar Transforms