A categorification of the Jones polynomial