Social contact theory of john locke