Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification