Structure and K-theory of crossed products by proper actions