The proper use of artefacts: A philosophical theory of the social constitution of artefact functions