Complex surfaces of general type: some recent progress