The realized volatility of FTSE‐100 futures prices