A miniaturized XRF instrument for in situ planetary exploration: The Active X-Ray Spectrometer (AXRS)