Obsolete. Please go to https://www.cs.helsinki.fi/u/ajhyttin/