How to write a disk image file to an SD card using the command line on a Mac or Linux