K-Adaptability in Two-Stage Mixed-Integer Robust Optimization