When performing lossy audio encoding, such as creating an MP3 file, there is a trade-off between the amount of space used and the sound quality of the result. If the bit rate is higher, the size of the compressed file will be what?