Which of the following commands will print the current video settings to stdout in XF86Config “Modeline” format?