Resilient Temporal Logic Planning in the Presence of Robot Failures