若y与x成正比例,且x=5时,y=12,则y与x的解析式为