On the expressivity of deep Heaviside networks