Sinai billiards, decay of correlations, 
central limit theorem; invariance principle; law of iterated 
logarithms