Linear institutions