Dallas officer fired for double-dipping on pay