In what century were 4k, 5k, and 8k systems introduced?