A practical technique for monitoring extradural pressure