Implementing shadow mapping with FBO