Updated and fixed a few formulations in the introduction