Theory and method of granular computing for big data mining