A finiteness theorem for rational maps from smooth 3-folds of general type