Spin-polarized current produced by a double barrier resonant tunneling diode