What is the sum of Mpix with a maximum fps HDRX of less than 12 with a width larger than 5120?
CREATE TABLE "history" (
  "frame_size" text,
  "width" real,
  "height" real,
  "mpix" real,
  "aspect_ratio" text,
  "maximum_fps" real,
  "maximum_fps_hd_rx" real,
  "least_compression_at_24_fps" text,
  "least_compression_at_maximum_fps" text
);
SELECT SUM("mpix") FROM "history" WHERE "maximum_fps_hd_rx"<12 AND "width">5120;