Finite sample posterior concentration in high-dimensional regression