Mars rock-zapping laser explained