Introduction to game level design