Just how serious are Bernie Sanders’ current heart problems?