The first revised version (submitted 2015-11-11).