ADER-WENO finite volume schemes with space-time adaptive mesh refinement