Whose idea was it to use the theory of john locke's social contract in the declaraction of independence??​