Resilient Cyber-Physical Power Systems: Planning, Operations, And Market Design