LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models