Prague holds national day of mourning after mass shooting