Redesigning Oslo's transit diagram