Exact spike-timing distribution reveals higher-order interactions of neurons