The economics of streaming is making songs shorter