Ice stream formation