Supervenience, necessary coextension, and reducibility