What is the name of the format that has dimensions of 4096×3072 pixels