根据某市2023年水资源报告，全市年用水量为50亿立方米，其中农业用水占40%，工业用水占35%，居民用水占25%。工业用水量比居民用水量多多少亿立方米？