når starter tippeligaen offisielt