Full groups of Cantor minimal systems