Effective-field theory and the nuclear many-body problem