Highest weight sl_2-categorifications II: structure theory - Ivan Losev (2012)