Local rules and global order, or aperiodic tilings