Market design for resource adequacy: A reliability insurance overlay on energy-only electricity markets