Previous models of the Raspberry Pi do not have a power button, so what is different about how this one works?