Sobolev spaces in metric measure spaces: reflexivity and lower semicontinuity of slope