Decriminalization of sex work could reduce HIV infections